Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
371	Give me back my mainframe. A plan C? Laboratorio de Sistemas http://lsub.org/who/ Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:49:19 X Window System Computing Zoology Octopus Software Automata theory DEVS
372	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
373	Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:31 Automata theory Diagrams UML diagrams Digital electronics Computing UML state machine State diagram Graph rewriting Finite-state machine Models of computation Software engineering Theoretical computer science
374	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
375	Perl versiondocumentation - perlreref NAME perlreref - Perl Regular Expressions Reference DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 16:13:39 Pattern matching Regular expressions Formal languages Scripting languages Automata theory Tilde ASCII Perl String literal Computing Computer programming Software engineering
376	Next Regular Expression Mastery 1 Add to Reading List Source URL: perl.plover.com Language: English - Date: 2005-09-27 00:10:44 Computer programming Software engineering Computing Perl 6 rules ReDoS Regular expressions Pattern matching Automata theory
377	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
378	Department of Computer Science Synthesising Optimal Timing Delays for Timed I/O Automata Marco Diciolla, Chang Hwan Peter Kim, Marta Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:22 Automata theory Symbol Parameter
379	A Principled Design Methodology for Minimalist Multi-Robot System Controllers by Christopher Vernon Jones Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2006-01-02 09:14:46 Control theory Science Automata theory Finite-state machine Robot
380	Next Regular Expression Mastery 1 Add to Reading List Source URL: perl.plover.com Language: English - Date: 2005-09-27 00:12:39 Computer programming Software engineering Computing Perl 6 rules Regular expressions Pattern matching Automata theory

UPDATE